This book, which is based on Polya's method of problem solving, aids students in their transition from calculus (or precalculus) to higher-level mathematics. The book begins by providing a great deal of guidance on how to approach definitions, examples, and theorems in mathematics. It ends by providing projects for independent study. Students will follow Polya's four step proce...(展开全部)

Four new and revelatory essays by the author of My Brilliant Friend and The Lost Daughter. In 2020, Claire Luchette in O, The Oprah Magazine described the beloved Italian novelist Elena Ferrante as “an oracle among authors.” Here, in these four crisp essays, Ferrante offers a rare look at the origins of her literary powers. She writes about her influences, her struggles, and he...(展开全部)

“Elena Ferrante has established herself as the foremost writer in Italy - and the world.”–The Sunday Times A delightful collection of essays exploring reading and writing from the internationally acclaimed author of My Brilliant Friend and The Lying Life of Adults. Ferrante’s writing has been described as compulsive (The Times) and astonishing (Guardian), her novels have sold m...(展开全部)

Four new and revelatory essays by the author of My Brilliant Friend and The Lost Daughter. In 2020, Claire Luchette in O, The Oprah Magazine described the beloved Italian novelist Elena Ferrante as “an oracle among authors.” Here, in these four crisp essays, Ferrante offers a rare look at the origins of her literary powers. She writes about her influences, her struggles, and he...(展开全部)

“Elena Ferrante has established herself as the foremost writer in Italy - and the world.”–The Sunday Times A delightful collection of essays exploring reading and writing from the internationally acclaimed author of My Brilliant Friend and The Lying Life of Adults. Ferrante’s writing has been described as compulsive (The Times) and astonishing (Guardian), her novels have sold m...(展开全部)

Coq is an interactive proof assistant for the development of mathematical theories and formally certified software. It is based on a theory called the calculus of inductive constructions, a variant of type theory. This book provides a pragmatic introduction to the development of proofs and certified programs using Coq. With its large collection of examples and exercises it is a...(展开全部)

顾明栋，字泽木，号三无学人，芝加哥大学文学博士，深圳大学外国语学院特聘教授，美国达拉斯得州大学比较文学教授，美国《诺顿理论与批评选》特别顾问。著有英文专著3部，英文编著3部。中文专著《汉学主义》(商务印书馆，2015)、《原创的焦虑》(南京大学出版社，2009)等。